Trong logic toán học, lượng từ với mọi (hay còn gọi là lượng từ phổ dụng hoặc là lượng từ với mọi) là một loại lượng từ, một hằng logic ký hiệu cho "với bất kỳ" hay "với mọi". Nó biển thị rằng một mệnh đề được giữ bởi mọi phần tử thuộc miền biện luận. Lượng từ này thường được ký hiệu bởi hình chữ A đảo ngược (∀) . Khi sử dụng kèm với một biến vị từ, lượng từ với mọi được ký hiệu như sau ("∀x", "∀(x)"). Lượng từ với mọi khác với lượng từ tồn tại ("Có tồn tại"), lượng từ tồn tại chỉ quan tâm đến tính chất hoặc quan hệ thỏa mãn bởi ít nhất một phần tử thuộc miền.Ký hiệu lượng từ với mọi được mã hóa là U+2200 ∀ FOR ALL trong Unicode, hay là \forall trong LaTeX và các trình soạn thảo toán học khác.